член дизъюнкции

См. также в других словарях:

• разделительное суждение — дизъюнктивное (от лат. disjunctio разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки или . Общая форма Р. с. имеет вид А1 v A2 v, ..., v An, где Аn суждение (член дизъюнкции, альтернатива), a… …   Словарь терминов логики

• АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

• Полином Жегалкина — Полином Жегалкина  многочлен над кольцом , то есть полином с коэффициентами вида 0 и 1, где в качестве произведения берётся конъюнкция, а в качестве сложения  исключающее или. Полином был предложен в 1927 году… …   Википедия

• КОНСТРУКТИВНАЯ ЛОГИКА —         1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается …   Философская энциклопедия

• конструктивная логика —         КОНСТРУКТИВНАЯ ЛОГИКА (от лат. constructio построение) совокупность логических принципов, признаваемых приемлемыми представителями конструктивизма в математике. Предметом конструктивизма являются конструктивные объекты и конструктивные… …   Энциклопедия эпистемологии и философии науки

• модус толлендо поненс — (лат. modus tollendo ponens) термин средневековой логики, обозначающий разделительно кате горическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения разделительное (дизъюнктивное) высказывание; вторая… …   Словарь терминов логики

• Синтагматика — Синтагматика  1) один из двух аспектов изучения системы языка, анализ особых  синтагматических  отношений между знаками языка, возникающих между последовательно расположенными его единицами при их непосредственном сочетании друг с другом в… …   Лингвистический энциклопедический словарь

• Формирование понятий (concept learning) — Понятие способ категоризации элементов и демонстрации характера существующих между ними взаимосвязей. В задаче на Ф. п. (concept learning task) определенные признаки стимулов связываются друг с другом в соответствии со специфическим правилом. Нек …   Психологическая энциклопедия

• ПИРС — (Peirce) Чарльз Сандерс (1839 1914) амер. философ и ученый, основатель прагматизма. Род. и бoльшую часть жизни провел в г. Кембридже (шт. Массачусетс). Время от времени читал курсы лекций в Гарварде и ун те Джонса Хопкинса. Он публиковал в… …   Философская энциклопедия

• Конструктивная математика — У этого термина существуют и другие значения, см. конструктивизм. Конструктивная математика абстрактная наука о конструктивных процессах[прояснить], человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание …   Википедия

• Валентность (лингвистика) — У этого термина существуют и другие значения, см. Валентность (значения). Валентность (от лат. valentia сила) в синтаксисе способность слова вступать в синтаксические связи с другими элементами[1]. Термин заимствован из химии (ср. валентность… …   Википедия